computability theory

n. 可计算性理论
[网络] 可计算理论;可算性理论;可计算性理論